Synthesis of safety-critical real-time systems
- Författare
- Linköpings universitet Yuanbin Zhou
- (Yuanbin Zhou., Diss. Linköping : Linköpings universitet, 2022)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköping University | 2022 | Sverige, Linköping | xv, 172 sidor illustrationer | 978-91-7929-271-3 |